[INFO] fetching crate logicaffeine-proof 0.9.8...
[INFO] testing logicaffeine-proof-0.9.8 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] extracting crate logicaffeine-proof 0.9.8 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate logicaffeine-proof 0.9.8
[INFO] finished tweaking crates.io crate logicaffeine-proof 0.9.8
[INFO] tweaked toml for crates.io crate logicaffeine-proof 0.9.8 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate logicaffeine-proof 0.9.8 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate logicaffeine-proof 0.9.8 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dcbba57242c9a45da77ec777ddb9149252e8fbb1eb39a8c7256b2bfb6d5ca76b
[INFO] running `Command { std: "docker" "start" "-a" "dcbba57242c9a45da77ec777ddb9149252e8fbb1eb39a8c7256b2bfb6d5ca76b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dcbba57242c9a45da77ec777ddb9149252e8fbb1eb39a8c7256b2bfb6d5ca76b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dcbba57242c9a45da77ec777ddb9149252e8fbb1eb39a8c7256b2bfb6d5ca76b", kill_on_drop: false }`
[INFO] [stdout] dcbba57242c9a45da77ec777ddb9149252e8fbb1eb39a8c7256b2bfb6d5ca76b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7a891d527b4557b9496229a836d65fc4971e7e3437a35c3c03422518c3718d35
[INFO] running `Command { std: "docker" "start" "-a" "7a891d527b4557b9496229a836d65fc4971e7e3437a35c3c03422518c3718d35", kill_on_drop: false }`
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling logicaffeine-base v0.9.8
[INFO] [stderr]    Compiling logicaffeine-kernel v0.9.8
[INFO] [stderr]    Compiling logicaffeine-proof v0.9.8 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]   --> src/lib.rs:31:7
[INFO] [stdout]    |
[INFO] [stdout] 31 | #[cfg(feature = "verification")]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `default`
[INFO] [stdout]    = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `compose_substitutions`
[INFO] [stdout]   --> src/engine.rs:33:39
[INFO] [stdout]    |
[INFO] [stdout] 33 |     apply_subst_to_expr, beta_reduce, compose_substitutions, unify_exprs, unify_pattern,
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]     --> src/engine.rs:4054:11
[INFO] [stdout]      |
[INFO] [stdout] 4054 |     #[cfg(feature = "verification")]
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `default`
[INFO] [stdout]      = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]    --> src/engine.rs:527:15
[INFO] [stdout]     |
[INFO] [stdout] 527 |         #[cfg(feature = "verification")]
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `default`
[INFO] [stdout]     = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:679:14
[INFO] [stdout]     |
[INFO] [stdout] 679 |         for (idx, impl_expr) in implications {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `antecedent`
[INFO] [stdout]    --> src/engine.rs:680:39
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                       ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_antecedent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consequent`
[INFO] [stdout]    --> src/engine.rs:680:51
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_consequent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:858:14
[INFO] [stdout]     |
[INFO] [stdout] 858 |         for (idx, forall_expr) in universals {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> src/engine.rs:859:40
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                        ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/engine.rs:859:50
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                                  ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `from`
[INFO] [stdout]     --> src/engine.rs:1537:26
[INFO] [stdout]      |
[INFO] [stdout] 1537 |                     for (from, to) in &substitutions {
[INFO] [stdout]      |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_from`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> src/engine.rs:1775:43
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                           ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `world`
[INFO] [stdout]     --> src/engine.rs:1775:55
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                                       ^^^^^ help: try ignoring the field: `world: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ante`
[INFO] [stdout]     --> src/engine.rs:1823:43
[INFO] [stdout]      |
[INFO] [stdout] 1823 |                 if let ProofExpr::Implies(ante, cons) = expr {
[INFO] [stdout]      |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_ante`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_cons2`
[INFO] [stdout]     --> src/engine.rs:2648:55
[INFO] [stdout]      |
[INFO] [stdout] 2648 | ...                   if let ProofExpr::Not(neg_cons2) = cons2.as_ref() {
[INFO] [stdout]      |                                             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_cons2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 |         ProofExpr::ForAll { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:129:39
[INFO] [stdout]     |
[INFO] [stdout] 129 |         ProofExpr::Exists { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bound_vars`
[INFO] [stdout]     --> src/unify.rs:1385:43
[INFO] [stdout]      |
[INFO] [stdout] 1385 | fn rename_vars_to_bound(expr: &ProofExpr, bound_vars: &[String]) -> ProofExpr {
[INFO] [stdout]      |                                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bound_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rename_term_vars` is never used
[INFO] [stdout]     --> src/engine.rs:3069:8
[INFO] [stdout]      |
[INFO] [stdout]  177 | impl BackwardChainer {
[INFO] [stdout]      | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 3069 |     fn rename_term_vars(&mut self, term: &ProofTerm) -> ProofTerm {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.30s
[INFO] running `Command { std: "docker" "inspect" "7a891d527b4557b9496229a836d65fc4971e7e3437a35c3c03422518c3718d35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7a891d527b4557b9496229a836d65fc4971e7e3437a35c3c03422518c3718d35", kill_on_drop: false }`
[INFO] [stdout] 7a891d527b4557b9496229a836d65fc4971e7e3437a35c3c03422518c3718d35
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7fc57a263f0c14d6045a2983213c6947ee24f4d202bdb81950c1d15ce2b7e0e4
[INFO] running `Command { std: "docker" "start" "-a" "7fc57a263f0c14d6045a2983213c6947ee24f4d202bdb81950c1d15ce2b7e0e4", kill_on_drop: false }`
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]   --> src/lib.rs:31:7
[INFO] [stdout]    |
[INFO] [stdout] 31 | #[cfg(feature = "verification")]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `default`
[INFO] [stdout]    = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `compose_substitutions`
[INFO] [stdout]   --> src/engine.rs:33:39
[INFO] [stdout]    |
[INFO] [stdout] 33 |     apply_subst_to_expr, beta_reduce, compose_substitutions, unify_exprs, unify_pattern,
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]     --> src/engine.rs:4054:11
[INFO] [stdout]      |
[INFO] [stdout] 4054 |     #[cfg(feature = "verification")]
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `default`
[INFO] [stdout]      = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]    --> src/engine.rs:527:15
[INFO] [stdout]     |
[INFO] [stdout] 527 |         #[cfg(feature = "verification")]
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `default`
[INFO] [stdout]     = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:679:14
[INFO] [stdout]     |
[INFO] [stdout] 679 |         for (idx, impl_expr) in implications {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `antecedent`
[INFO] [stdout]    --> src/engine.rs:680:39
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                       ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_antecedent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consequent`
[INFO] [stdout]    --> src/engine.rs:680:51
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_consequent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:858:14
[INFO] [stdout]     |
[INFO] [stdout] 858 |         for (idx, forall_expr) in universals {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> src/engine.rs:859:40
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                        ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/engine.rs:859:50
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                                  ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `from`
[INFO] [stdout]     --> src/engine.rs:1537:26
[INFO] [stdout]      |
[INFO] [stdout] 1537 |                     for (from, to) in &substitutions {
[INFO] [stdout]      |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_from`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> src/engine.rs:1775:43
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                           ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `world`
[INFO] [stdout]     --> src/engine.rs:1775:55
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                                       ^^^^^ help: try ignoring the field: `world: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ante`
[INFO] [stdout]     --> src/engine.rs:1823:43
[INFO] [stdout]      |
[INFO] [stdout] 1823 |                 if let ProofExpr::Implies(ante, cons) = expr {
[INFO] [stdout]      |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_ante`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_cons2`
[INFO] [stdout]     --> src/engine.rs:2648:55
[INFO] [stdout]      |
[INFO] [stdout] 2648 | ...                   if let ProofExpr::Not(neg_cons2) = cons2.as_ref() {
[INFO] [stdout]      |                                             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_cons2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 |         ProofExpr::ForAll { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:129:39
[INFO] [stdout]     |
[INFO] [stdout] 129 |         ProofExpr::Exists { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bound_vars`
[INFO] [stdout]     --> src/unify.rs:1385:43
[INFO] [stdout]      |
[INFO] [stdout] 1385 | fn rename_vars_to_bound(expr: &ProofExpr, bound_vars: &[String]) -> ProofExpr {
[INFO] [stdout]      |                                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bound_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling logicaffeine-proof v0.9.8 (/opt/rustwide/workdir)
[INFO] [stdout] warning: method `rename_term_vars` is never used
[INFO] [stdout]     --> src/engine.rs:3069:8
[INFO] [stdout]      |
[INFO] [stdout]  177 | impl BackwardChainer {
[INFO] [stdout]      | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 3069 |     fn rename_term_vars(&mut self, term: &ProofTerm) -> ProofTerm {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]   --> src/lib.rs:31:7
[INFO] [stdout]    |
[INFO] [stdout] 31 | #[cfg(feature = "verification")]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `default`
[INFO] [stdout]    = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `compose_substitutions`
[INFO] [stdout]   --> src/engine.rs:33:39
[INFO] [stdout]    |
[INFO] [stdout] 33 |     apply_subst_to_expr, beta_reduce, compose_substitutions, unify_exprs, unify_pattern,
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]     --> src/engine.rs:4054:11
[INFO] [stdout]      |
[INFO] [stdout] 4054 |     #[cfg(feature = "verification")]
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `default`
[INFO] [stdout]      = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]    --> src/engine.rs:527:15
[INFO] [stdout]     |
[INFO] [stdout] 527 |         #[cfg(feature = "verification")]
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `default`
[INFO] [stdout]     = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:679:14
[INFO] [stdout]     |
[INFO] [stdout] 679 |         for (idx, impl_expr) in implications {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `antecedent`
[INFO] [stdout]    --> src/engine.rs:680:39
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                       ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_antecedent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consequent`
[INFO] [stdout]    --> src/engine.rs:680:51
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_consequent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:858:14
[INFO] [stdout]     |
[INFO] [stdout] 858 |         for (idx, forall_expr) in universals {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> src/engine.rs:859:40
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                        ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/engine.rs:859:50
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                                  ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `from`
[INFO] [stdout]     --> src/engine.rs:1537:26
[INFO] [stdout]      |
[INFO] [stdout] 1537 |                     for (from, to) in &substitutions {
[INFO] [stdout]      |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_from`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> src/engine.rs:1775:43
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                           ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `world`
[INFO] [stdout]     --> src/engine.rs:1775:55
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                                       ^^^^^ help: try ignoring the field: `world: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ante`
[INFO] [stdout]     --> src/engine.rs:1823:43
[INFO] [stdout]      |
[INFO] [stdout] 1823 |                 if let ProofExpr::Implies(ante, cons) = expr {
[INFO] [stdout]      |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_ante`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_cons2`
[INFO] [stdout]     --> src/engine.rs:2648:55
[INFO] [stdout]      |
[INFO] [stdout] 2648 | ...                   if let ProofExpr::Not(neg_cons2) = cons2.as_ref() {
[INFO] [stdout]      |                                             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_cons2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 |         ProofExpr::ForAll { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:129:39
[INFO] [stdout]     |
[INFO] [stdout] 129 |         ProofExpr::Exists { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bound_vars`
[INFO] [stdout]     --> src/unify.rs:1385:43
[INFO] [stdout]      |
[INFO] [stdout] 1385 | fn rename_vars_to_bound(expr: &ProofExpr, bound_vars: &[String]) -> ProofExpr {
[INFO] [stdout]      |                                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bound_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rename_term_vars` is never used
[INFO] [stdout]     --> src/engine.rs:3069:8
[INFO] [stdout]      |
[INFO] [stdout]  177 | impl BackwardChainer {
[INFO] [stdout]      | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 3069 |     fn rename_term_vars(&mut self, term: &ProofTerm) -> ProofTerm {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.43s
[INFO] running `Command { std: "docker" "inspect" "7fc57a263f0c14d6045a2983213c6947ee24f4d202bdb81950c1d15ce2b7e0e4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7fc57a263f0c14d6045a2983213c6947ee24f4d202bdb81950c1d15ce2b7e0e4", kill_on_drop: false }`
[INFO] [stdout] 7fc57a263f0c14d6045a2983213c6947ee24f4d202bdb81950c1d15ce2b7e0e4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 91602f6219a7e58ba7f777e832147151fb1daff80b675b2309e11adad0a0a4ed
[INFO] running `Command { std: "docker" "start" "-a" "91602f6219a7e58ba7f777e832147151fb1daff80b675b2309e11adad0a0a4ed", kill_on_drop: false }`
[INFO] [stderr] warning: unexpected `cfg` condition value: `verification`
[INFO] [stderr]   --> src/lib.rs:31:7
[INFO] [stderr]    |
[INFO] [stderr] 31 | #[cfg(feature = "verification")]
[INFO] [stderr]    |       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected values for `feature` are: `default`
[INFO] [stderr]    = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `compose_substitutions`
[INFO] [stderr]   --> src/engine.rs:33:39
[INFO] [stderr]    |
[INFO] [stderr] 33 |     apply_subst_to_expr, beta_reduce, compose_substitutions, unify_exprs, unify_pattern,
[INFO] [stderr]    |                                       ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `verification`
[INFO] [stderr]     --> src/engine.rs:4054:11
[INFO] [stderr]      |
[INFO] [stderr] 4054 |     #[cfg(feature = "verification")]
[INFO] [stderr]      |           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: expected values for `feature` are: `default`
[INFO] [stderr]      = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stderr]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `verification`
[INFO] [stderr]    --> src/engine.rs:527:15
[INFO] [stderr]     |
[INFO] [stderr] 527 |         #[cfg(feature = "verification")]
[INFO] [stderr]     |               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: expected values for `feature` are: `default`
[INFO] [stderr]     = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `idx`
[INFO] [stderr]    --> src/engine.rs:679:14
[INFO] [stderr]     |
[INFO] [stderr] 679 |         for (idx, impl_expr) in implications {
[INFO] [stderr]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `antecedent`
[INFO] [stderr]    --> src/engine.rs:680:39
[INFO] [stderr]     |
[INFO] [stderr] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stderr]     |                                       ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_antecedent`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `consequent`
[INFO] [stderr]    --> src/engine.rs:680:51
[INFO] [stderr]     |
[INFO] [stderr] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stderr]     |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_consequent`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `idx`
[INFO] [stderr]    --> src/engine.rs:858:14
[INFO] [stderr]     |
[INFO] [stderr] 858 |         for (idx, forall_expr) in universals {
[INFO] [stderr]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> src/engine.rs:859:40
[INFO] [stderr]     |
[INFO] [stderr] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stderr]     |                                        ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `body`
[INFO] [stderr]    --> src/engine.rs:859:50
[INFO] [stderr]     |
[INFO] [stderr] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stderr]     |                                                  ^^^^ help: try ignoring the field: `body: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `from`
[INFO] [stderr]     --> src/engine.rs:1537:26
[INFO] [stderr]      |
[INFO] [stderr] 1537 |                     for (from, to) in &substitutions {
[INFO] [stderr]      |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_from`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]     --> src/engine.rs:1775:43
[INFO] [stderr]      |
[INFO] [stderr] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stderr]      |                                           ^^^^ help: try ignoring the field: `name: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `world`
[INFO] [stderr]     --> src/engine.rs:1775:55
[INFO] [stderr]      |
[INFO] [stderr] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stderr]      |                                                       ^^^^^ help: try ignoring the field: `world: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ante`
[INFO] [stderr]     --> src/engine.rs:1823:43
[INFO] [stderr]      |
[INFO] [stderr] 1823 |                 if let ProofExpr::Implies(ante, cons) = expr {
[INFO] [stderr]      |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_ante`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `neg_cons2`
[INFO] [stderr]     --> src/engine.rs:2648:55
[INFO] [stderr]      |
[INFO] [stderr] 2648 | ...                   if let ProofExpr::Not(neg_cons2) = cons2.as_ref() {
[INFO] [stderr]      |                                             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_cons2`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `body`
[INFO] [stderr]    --> src/hints.rs:119:39
[INFO] [stderr]     |
[INFO] [stderr] 119 |         ProofExpr::ForAll { variable, body } => {
[INFO] [stderr]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `body`
[INFO] [stderr]    --> src/hints.rs:129:39
[INFO] [stderr]     |
[INFO] [stderr] 129 |         ProofExpr::Exists { variable, body } => {
[INFO] [stderr]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bound_vars`
[INFO] [stderr]     --> src/unify.rs:1385:43
[INFO] [stderr]      |
[INFO] [stderr] 1385 | fn rename_vars_to_bound(expr: &ProofExpr, bound_vars: &[String]) -> ProofExpr {
[INFO] [stderr]      |                                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bound_vars`
[INFO] [stderr] 
[INFO] [stderr] warning: method `rename_term_vars` is never used
[INFO] [stderr]     --> src/engine.rs:3069:8
[INFO] [stderr]      |
[INFO] [stderr]  177 | impl BackwardChainer {
[INFO] [stderr]      | -------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 3069 |     fn rename_term_vars(&mut self, term: &ProofTerm) -> ProofTerm {
[INFO] [stderr]      |        ^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `logicaffeine-proof` (lib) generated 19 warnings (run `cargo fix --lib -p logicaffeine-proof` to apply 15 suggestions)
[INFO] [stderr] warning: `logicaffeine-proof` (lib test) generated 19 warnings (19 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/logicaffeine_proof-01974827c1b029b5)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test hints::tests::test_direct_match_hint ... ok
[INFO] [stdout] test hints::tests::test_reflexivity_hint ... ok
[INFO] [stdout] test unify::tests::test_alpha_equivalence_forall ... ok
[INFO] [stdout] test unify::tests::test_alpha_equivalence_nested ... ok
[INFO] [stdout] test unify::tests::test_occurs_check ... ok
[INFO] [stdout] test unify::tests::test_unify_different_constants ... ok
[INFO] [stdout] test unify::tests::test_unify_same_constant ... ok
[INFO] [stdout] test unify::tests::test_unify_var_constant ... ok
[INFO] [stdout] test hints::tests::test_modus_ponens_hint ... ok
[INFO] [stdout] test unify::tests::test_alpha_equivalence_exists ... ok
[INFO] [stdout] test hints::tests::test_conjunction_hint ... ok
[INFO] [stdout] test unify::tests::test_compose_substitutions ... ok
[INFO] [stderr]    Doc-tests logicaffeine_proof
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test src/error.rs - error (line 18) ... ok
[INFO] [stdout] test src/certifier.rs - certifier::CertificationContext (line 50) ... ok
[INFO] [stdout] test src/unify.rs - unify::unify_terms (line 509) ... ok
[INFO] [stdout] test src/unify.rs - unify::compose_substitutions (line 1133) ... ok
[INFO] [stdout] test src/unify.rs - unify::apply_subst_to_term (line 692) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.54s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "91602f6219a7e58ba7f777e832147151fb1daff80b675b2309e11adad0a0a4ed", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91602f6219a7e58ba7f777e832147151fb1daff80b675b2309e11adad0a0a4ed", kill_on_drop: false }`
[INFO] [stdout] 91602f6219a7e58ba7f777e832147151fb1daff80b675b2309e11adad0a0a4ed
